Search results for "model theory"
showing 10 items of 681 documents
Jakimovski–Leviatan operators of Kantorovich type involving multiple Appell polynomials
2019
Abstract The purpose of the present paper is to obtain the degree of approximation in terms of a Lipschitz type maximal function for the Kantorovich type modification of Jakimovski–Leviatan operators based on multiple Appell polynomials. Also, we study the rate of approximation of these operators in a weighted space of polynomial growth and for functions having a derivative of bounded variation. A Voronvskaja type theorem is obtained. Further, we illustrate the convergence of these operators for certain functions through tables and figures using the Maple algorithm and, by a numerical example, we show that our Kantorovich type operator involving multiple Appell polynomials yields a better r…
New exclusion limits on scalar and pseudoscalar axionlike particles from light shining through a wall
2015
Physics beyond the Standard Model predicts the possible existence of new particles that can be searched at the low-energy frontier in the sub-eV range. The OSQAR photon regeneration experiment looks for ``light shining through a wall'' from the quantum oscillation of optical photons into ``weakly interacting sub-eV particles,'' such as axion or axionlike particles (ALPs) in a 9 T transverse magnetic field over a length of $2\ifmmode\times\else\texttimes\fi{}14.3\text{ }\text{ }\mathrm{m}$. In 2014, this experiment was run with an outstanding sensitivity, using an 18.5 W continuous wave laser emitting in the green at the single wavelength of 532 nm. No regenerated photons have been detected …
Riemann-Type Definition of the Improper Integrals
2004
Riemann-type definitions of the Riemann improper integral and of the Lebesgue improper integral are obtained from McShane's definition of the Lebesgue integral by imposing a Kurzweil-Henstock's condition on McShane's partitions.
Using Induced Ordered Weighted Averaging (IOWA) Operators for Aggregation in Cross-Efficiency Evaluations
2014
This paper proposes an enhancement of the cross-efficiency evaluation through the aggregation of cross-efficiencies by using a particular type of induced ordered weighted averaging IOWA operator. The use of a weighted average of cross-efficiencies for the calculation of the cross-efficiency scores, instead of the usual arithmetic mean, allows us to introduce some flexibility into the analysis. In particular, the main purpose of the approach we present is to provide aggregation weights that reflect the decision maker DM preferences regarding the relative importance that should be attached to the cross-efficiencies provided by the different decision-making units. To do it, an ordering is to b…
High energy neutrinos from novae in symbiotic binaries: The case of V407 Cygni
2010
Detection of high-energy (>= 100 MeV) gamma rays by the Fermi Large Area Telescope from a nova in the symbiotic binary system V407 Cygni has opened the possibility of high-energy neutrino detection from this type of source. A thermonuclear explosion on the white dwarf surface sets off a nova shell in motion that expands and slows down in a dense surrounding medium provided by the red giant companion. Particles are accelerated in the shocks of the shell and interact with the surrounding medium to produce observed gamma rays. We show that proton-proton interaction, which is most likely responsible for producing gamma rays via neutral pion decay, produces >= 0:1 GeV neutrinos that can be detec…
"Comment on ""Non-symmetric substituted ureas locked in an (E,Z) conformation: an unusual anion binding via supramolecular assembly"" by M. Olivari, …
2014
We propose another point of view on the type of hydrogen bonded complexes that were described in this journal (M. Olivari et al., New J. Chem., 2013, 37, 663). The main difference is the molecular geometry and breakage of the intramolecular hydrogen bond during association. The current comment is to highlight mentioned aspects and to point out that in some cases the interpretation may not be straightforward due to the simultaneous effects associated with complexation.
Some new fixed point theorems in Menger PM-spaces with application to Volterra type integral equation
2014
Abstract We establish some fixed point theorems by introducing two new classes of contractive mappings in Menger PM-spaces. First, we prove our results for an α - ψ -type contractive mapping and then for a generalized β -type contractive mapping. Some examples and an application to Volterra type integral equation are given to support the obtained results.
On the interpretation of retrograde reaction textures in granulite facies rocks
2010
Retrograde reaction textures, such as partial pseudomorphs, coronae and symplectic coronae are a relatively common feature of granulite facies rocks and represent evidence of change of mineral modes or assemblages. Thus, such reaction textures represent one of the more potentially useful indicators of retrograde P-T evolutions. However, the interpretation of such textures requires the simultaneous consideration of the formation of the texture itself in terms of the spatial relationships in a rock, and of the changes in P-T conditions that drove the development of the reaction texture. Calculated phase diagrams provide a robust framework in which to consider reaction textures, especially via…
How to Comprehend Large and Complicated Systems
2002
The basic problem at early analysis stage of the development life cycle is how to quickly comprehend a large and complicated system. One of the ways to comprehend such a system is to build an object model, as it was suggested by the pioneers of object modelling approach such as J.Rumbaugh1 and J.Martin2. In up-to-date terminology it means building a UML class diagram. The authors have got convinced in their everyday practice on extreme efficiency of this type of modelling, though at the same time a significant experience for this job is also required. To make this job easier, a modelling methodology must be developed. The goal of this paper is, on the one hand, to give some methodological r…
Sign-indefinite second order differential operators on finite metric graphs
2012
The question of self-adjoint realizations of sign-indefinite second order differential operators is discussed in terms of a model problem. Operators of the type $-\frac{d}{dx} \sgn (x) \frac{d}{dx}$ are generalized to finite, not necessarily compact, metric graphs. All self-adjoint realizations are parametrized using methods from extension theory. The spectral and scattering theory of the self-adjoint realizations are studied in detail.